1. A formalization of set theory without variables
پدیدآورنده : Tarski, Alfred.
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Set theory,، Logic, Symbolic and mathematical
رده :
QA
248
.
T37
1987
2. A formalization of set theory without variables
پدیدآورنده : Tarski, Alfred
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Set theory,، Logic, Symbolic and mathematical
رده :
QA
248
.
T37
1987
3. A formalization of set theory without variables
پدیدآورنده : TARSKI,ALFRED
کتابخانه: (طهران)
موضوع : SET THEORY , LOGIC,SYMBOLIC & MATHEMATICAL
رده :
QA
248
.
T37
4. A formalization of set theory without variables
پدیدآورنده : Tarski, Alfred
کتابخانه: (طهران)
موضوع : ، Set theory,، Logic, Symbolic and mathematical
رده :
QA
248
.
T37
5. Alfred Tarski
پدیدآورنده : \ Douglas Patterson
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Tarski, Alfred, 1902-1983,تارسکی، آلفرد، ۱۹۰۲ - ۱۹۸۳م.
رده :
BC
135
.
P32A4
2012
E-Book
,
6. Alfred Tarski
پدیدآورنده : Anita Burdman Feferman, Solomon Feferman,Title
کتابخانه: كتابخانه مركزي دانشگاه بين المللي امام خميني (ره) قزوين (قزوین)
موضوع : Tarski, Alfred,Logic, Symbolic and mathematical,Logicians- United States- Biography
رده :
QA
.
T32
,
F44
29
2004
7. Alfred Tarski and the “Concept of Truth in Formalized Languages”
پدیدآورنده : \ Monika Gruber
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Semantics (Philosophy),معنیشناسی (فلسفه),a04,a04,Tarski, Alfred, -- 1901-1983 -- Criticism and interpretation. ,تارسکی، آلفرد، ۱۹۰۲ - ۱۹۸۳م. -- نقد و تفسیر
رده :
E-Book
,
8. Alfred Tarski and the "Concept of truth in formalized languages"
پدیدآورنده : Monika Grube,Title
کتابخانه: كتابخانه مركزي دانشگاه بين المللي امام خميني (ره) قزوين (قزوین)
موضوع : Tarski, Alfred, 1901-1983, Criticism and interpretation,Semantics )Philosophy(,Truth,Electronic books,Electronic books., local
رده :
EBOOK
,
BD
G7
171
9. Alfred Tarski collected papers
پدیدآورنده : Tarski, Alfred
کتابخانه: (طهران)
موضوع : Collected works ، Mathematics
رده :
QA
3
.
T37
1986
10. Alfred Tarski: life and logic
پدیدآورنده : Feferman, Anita Burdman.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Tarski, Alfred,، Logic, Symbolic and mathematical,United States -- Biography ، Logicians
رده :
QA
29
.
T32
F44
2008
11. Alfred Tarski: life and logic
پدیدآورنده : Feferman, Anita Burdman
موضوع : ، Tarski, Alfred,، Logic, Symbolic and mathematical,Biography ، Logicians-- United States
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
12. Alfred Tarski : life and logic
پدیدآورنده : Feferman, Anita Burdman, 7291-
کتابخانه: (طهران)
موضوع : ، Tarski, Alfred,، Logic, Symbolic and mathematical,Biography ، Logicians -- United States
رده :
QA
29
.
T32F43
13. Cardinal algebras
پدیدآورنده : TARSKI,ALFRED
کتابخانه: (طهران)
موضوع : ALGEBRA ABSTRACT
رده :
QA
226
.
T3
14. Collected papers,Selections. 6891
پدیدآورنده : Tarski, Alfred.
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Mathematics
رده :
QA
3
.
T372
1986
15. Cylindric algebras
پدیدآورنده : Henkin,Leon
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Cylindric algebras
رده :
QA
9
.
H415
16. Cylindric algebras
پدیدآورنده : Henkin, Leon
کتابخانه: (طهران)
موضوع : ، Cylindric algebras
رده :
QA
9
.
H46C96
17. Cylindric algebras
پدیدآورنده : Henkin, Leon
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Cylindric algebras
رده :
QA
9
.
H415
18. Cylindric algebras
پدیدآورنده : Henkin, Leon.
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : ، Cylindric algebras
رده :
QA
9
.
H415
19. From the act of judging to the sentence :the problem of truth bearers from Bolzano to Tarski
پدیدآورنده : Rojszczak, Artur.
کتابخانه: كتابخانه دانشگاه مفيد (قم)
موضوع : ، Bolzano, Bernard,1871-8481,، Tarski, Alfred,، Brentano, Franz,8381-7191,، Twardowski, Kazimierz,6681-8391,، Truth,، Knowledge, Theory of,، Ontology
رده :
BD171
.
R65
2005
20. Introducation to logic and to the methodology of deductive sciences
پدیدآورنده : Tarski, Alfred
کتابخانه: كتابخانه مركز اسناد و مركز دائرة المعارف بزرگ اسلامى (طهران)
موضوع :
رده :
19688
QA